Search Results
Bruno Gavranovic: Space-time tradeoffs of lenses and optics via higher category theory
Bruno Gavranović: "Optics vs Lenses, Operationally"
CyberCat seminar - Bruno Gavranović - Generalised open learners
Neural Networks through the lens of Category Theory - Bruno Gavranović
Higher Categories reading group - talk 15 (11/26/22)
Categories for AI 3: Categorical Dataflow: Optics and Lenses as data structures for backpropagation
2019-05-17 computational calculi colab @Bruno Gavranović, compositional neural networks, equivalence
Lakshya Bhardwaj: "Non-Invertible Symmetries and Higher-Categories"
Category Theory: The Beginner's Introduction (Lesson 1 Explorations)
Noughts & Crosses: Cartesian Product [Intro to HoTT, No. 5, Part 1]
Higher categories in geometry and physics (Lecture IV)
Jonathan Weinberger: A Type Theory for (∞,1)-Categories
![Noughts & Crosses: Cartesian Product [Intro to HoTT, No. 5, Part 1]](https://img.youtube.com/vi/H3xDp-yx5sA/hqdefault.jpg)
